Skip to content
This repository has been archived by the owner on Nov 5, 2023. It is now read-only.

chore: PR comments & nits #161

Merged
merged 3 commits into from
Nov 5, 2023
Merged

chore: PR comments & nits #161

merged 3 commits into from
Nov 5, 2023

Conversation

merklefruit
Copy link
Collaborator

@merklefruit merklefruit commented Nov 5, 2023 •
edited
Loading

@merklefruit merklefruit mentioned this pull request Nov 5, 2023
Merged
refcell
refcell suggested changes Nov 5, 2023
View reviewed changes
Copy link
Collaborator

@refcell refcell left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

2 small nits

@clabby clabby merged commit 62f8111 into clabby/op-reth Nov 5, 2023
8 of 19 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@refcell refcell refcell requested changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@merklefruit @refcell @clabby